-- Expected output: true
DEF MAIN:bool == or(true, true)

